Optimal. Leaf size=224 \[ -\frac {3003 e^5 (b d-a e)^{3/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {b d-a e}}\right )}{128 b^{15/2}}+\frac {3003 e^5 \sqrt {d+e x} (b d-a e)}{128 b^7}-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {1001 e^5 (d+e x)^{3/2}}{128 b^6} \]
________________________________________________________________________________________
Rubi [A] time = 0.14, antiderivative size = 224, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 5, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.179, Rules used = {27, 47, 50, 63, 208} \begin {gather*} -\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}+\frac {3003 e^5 \sqrt {d+e x} (b d-a e)}{128 b^7}-\frac {3003 e^5 (b d-a e)^{3/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {b d-a e}}\right )}{128 b^{15/2}}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {1001 e^5 (d+e x)^{3/2}}{128 b^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 47
Rule 50
Rule 63
Rule 208
Rubi steps
\begin {align*} \int \frac {(d+e x)^{13/2}}{\left (a^2+2 a b x+b^2 x^2\right )^3} \, dx &=\int \frac {(d+e x)^{13/2}}{(a+b x)^6} \, dx\\ &=-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {(13 e) \int \frac {(d+e x)^{11/2}}{(a+b x)^5} \, dx}{10 b}\\ &=-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (143 e^2\right ) \int \frac {(d+e x)^{9/2}}{(a+b x)^4} \, dx}{80 b^2}\\ &=-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (429 e^3\right ) \int \frac {(d+e x)^{7/2}}{(a+b x)^3} \, dx}{160 b^3}\\ &=-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (3003 e^4\right ) \int \frac {(d+e x)^{5/2}}{(a+b x)^2} \, dx}{640 b^4}\\ &=-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (3003 e^5\right ) \int \frac {(d+e x)^{3/2}}{a+b x} \, dx}{256 b^5}\\ &=\frac {1001 e^5 (d+e x)^{3/2}}{128 b^6}-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (3003 e^5 (b d-a e)\right ) \int \frac {\sqrt {d+e x}}{a+b x} \, dx}{256 b^6}\\ &=\frac {3003 e^5 (b d-a e) \sqrt {d+e x}}{128 b^7}+\frac {1001 e^5 (d+e x)^{3/2}}{128 b^6}-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (3003 e^5 (b d-a e)^2\right ) \int \frac {1}{(a+b x) \sqrt {d+e x}} \, dx}{256 b^7}\\ &=\frac {3003 e^5 (b d-a e) \sqrt {d+e x}}{128 b^7}+\frac {1001 e^5 (d+e x)^{3/2}}{128 b^6}-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}+\frac {\left (3003 e^4 (b d-a e)^2\right ) \operatorname {Subst}\left (\int \frac {1}{a-\frac {b d}{e}+\frac {b x^2}{e}} \, dx,x,\sqrt {d+e x}\right )}{128 b^7}\\ &=\frac {3003 e^5 (b d-a e) \sqrt {d+e x}}{128 b^7}+\frac {1001 e^5 (d+e x)^{3/2}}{128 b^6}-\frac {3003 e^4 (d+e x)^{5/2}}{640 b^5 (a+b x)}-\frac {429 e^3 (d+e x)^{7/2}}{320 b^4 (a+b x)^2}-\frac {143 e^2 (d+e x)^{9/2}}{240 b^3 (a+b x)^3}-\frac {13 e (d+e x)^{11/2}}{40 b^2 (a+b x)^4}-\frac {(d+e x)^{13/2}}{5 b (a+b x)^5}-\frac {3003 e^5 (b d-a e)^{3/2} \tanh ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x}}{\sqrt {b d-a e}}\right )}{128 b^{15/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.02, size = 52, normalized size = 0.23 \begin {gather*} \frac {2 e^5 (d+e x)^{15/2} \, _2F_1\left (6,\frac {15}{2};\frac {17}{2};-\frac {b (d+e x)}{a e-b d}\right )}{15 (a e-b d)^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [B] time = 2.76, size = 531, normalized size = 2.37 \begin {gather*} \frac {e^5 \sqrt {d+e x} \left (-45045 a^6 e^6-210210 a^5 b e^5 (d+e x)+270270 a^5 b d e^5-675675 a^4 b^2 d^2 e^4-384384 a^4 b^2 e^4 (d+e x)^2+1051050 a^4 b^2 d e^4 (d+e x)+900900 a^3 b^3 d^3 e^3-2102100 a^3 b^3 d^2 e^3 (d+e x)-338910 a^3 b^3 e^3 (d+e x)^3+1537536 a^3 b^3 d e^3 (d+e x)^2-675675 a^2 b^4 d^4 e^2+2102100 a^2 b^4 d^3 e^2 (d+e x)-2306304 a^2 b^4 d^2 e^2 (d+e x)^2-137995 a^2 b^4 e^2 (d+e x)^4+1016730 a^2 b^4 d e^2 (d+e x)^3+270270 a b^5 d^5 e-1051050 a b^5 d^4 e (d+e x)+1537536 a b^5 d^3 e (d+e x)^2-1016730 a b^5 d^2 e (d+e x)^3-16640 a b^5 e (d+e x)^5+275990 a b^5 d e (d+e x)^4-45045 b^6 d^6+210210 b^6 d^5 (d+e x)-384384 b^6 d^4 (d+e x)^2+338910 b^6 d^3 (d+e x)^3-137995 b^6 d^2 (d+e x)^4+1280 b^6 (d+e x)^6+16640 b^6 d (d+e x)^5\right )}{1920 b^7 (a e+b (d+e x)-b d)^5}-\frac {3003 e^5 (b d-a e)^2 \tan ^{-1}\left (\frac {\sqrt {b} \sqrt {d+e x} \sqrt {a e-b d}}{b d-a e}\right )}{128 b^{15/2} \sqrt {a e-b d}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.45, size = 1234, normalized size = 5.51
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.27, size = 613, normalized size = 2.74 \begin {gather*} \frac {3003 \, {\left (b^{2} d^{2} e^{5} - 2 \, a b d e^{6} + a^{2} e^{7}\right )} \arctan \left (\frac {\sqrt {x e + d} b}{\sqrt {-b^{2} d + a b e}}\right )}{128 \, \sqrt {-b^{2} d + a b e} b^{7}} - \frac {35595 \, {\left (x e + d\right )}^{\frac {9}{2}} b^{6} d^{2} e^{5} - 121310 \, {\left (x e + d\right )}^{\frac {7}{2}} b^{6} d^{3} e^{5} + 160384 \, {\left (x e + d\right )}^{\frac {5}{2}} b^{6} d^{4} e^{5} - 96290 \, {\left (x e + d\right )}^{\frac {3}{2}} b^{6} d^{5} e^{5} + 22005 \, \sqrt {x e + d} b^{6} d^{6} e^{5} - 71190 \, {\left (x e + d\right )}^{\frac {9}{2}} a b^{5} d e^{6} + 363930 \, {\left (x e + d\right )}^{\frac {7}{2}} a b^{5} d^{2} e^{6} - 641536 \, {\left (x e + d\right )}^{\frac {5}{2}} a b^{5} d^{3} e^{6} + 481450 \, {\left (x e + d\right )}^{\frac {3}{2}} a b^{5} d^{4} e^{6} - 132030 \, \sqrt {x e + d} a b^{5} d^{5} e^{6} + 35595 \, {\left (x e + d\right )}^{\frac {9}{2}} a^{2} b^{4} e^{7} - 363930 \, {\left (x e + d\right )}^{\frac {7}{2}} a^{2} b^{4} d e^{7} + 962304 \, {\left (x e + d\right )}^{\frac {5}{2}} a^{2} b^{4} d^{2} e^{7} - 962900 \, {\left (x e + d\right )}^{\frac {3}{2}} a^{2} b^{4} d^{3} e^{7} + 330075 \, \sqrt {x e + d} a^{2} b^{4} d^{4} e^{7} + 121310 \, {\left (x e + d\right )}^{\frac {7}{2}} a^{3} b^{3} e^{8} - 641536 \, {\left (x e + d\right )}^{\frac {5}{2}} a^{3} b^{3} d e^{8} + 962900 \, {\left (x e + d\right )}^{\frac {3}{2}} a^{3} b^{3} d^{2} e^{8} - 440100 \, \sqrt {x e + d} a^{3} b^{3} d^{3} e^{8} + 160384 \, {\left (x e + d\right )}^{\frac {5}{2}} a^{4} b^{2} e^{9} - 481450 \, {\left (x e + d\right )}^{\frac {3}{2}} a^{4} b^{2} d e^{9} + 330075 \, \sqrt {x e + d} a^{4} b^{2} d^{2} e^{9} + 96290 \, {\left (x e + d\right )}^{\frac {3}{2}} a^{5} b e^{10} - 132030 \, \sqrt {x e + d} a^{5} b d e^{10} + 22005 \, \sqrt {x e + d} a^{6} e^{11}}{1920 \, {\left ({\left (x e + d\right )} b - b d + a e\right )}^{5} b^{7}} + \frac {2 \, {\left ({\left (x e + d\right )}^{\frac {3}{2}} b^{12} e^{5} + 18 \, \sqrt {x e + d} b^{12} d e^{5} - 18 \, \sqrt {x e + d} a b^{11} e^{6}\right )}}{3 \, b^{18}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.08, size = 908, normalized size = 4.05 \begin {gather*} -\frac {1467 \sqrt {e x +d}\, a^{6} e^{11}}{128 \left (b e x +a e \right )^{5} b^{7}}+\frac {4401 \sqrt {e x +d}\, a^{5} d \,e^{10}}{64 \left (b e x +a e \right )^{5} b^{6}}-\frac {22005 \sqrt {e x +d}\, a^{4} d^{2} e^{9}}{128 \left (b e x +a e \right )^{5} b^{5}}+\frac {7335 \sqrt {e x +d}\, a^{3} d^{3} e^{8}}{32 \left (b e x +a e \right )^{5} b^{4}}-\frac {22005 \sqrt {e x +d}\, a^{2} d^{4} e^{7}}{128 \left (b e x +a e \right )^{5} b^{3}}+\frac {4401 \sqrt {e x +d}\, a \,d^{5} e^{6}}{64 \left (b e x +a e \right )^{5} b^{2}}-\frac {1467 \sqrt {e x +d}\, d^{6} e^{5}}{128 \left (b e x +a e \right )^{5} b}-\frac {9629 \left (e x +d \right )^{\frac {3}{2}} a^{5} e^{10}}{192 \left (b e x +a e \right )^{5} b^{6}}+\frac {48145 \left (e x +d \right )^{\frac {3}{2}} a^{4} d \,e^{9}}{192 \left (b e x +a e \right )^{5} b^{5}}-\frac {48145 \left (e x +d \right )^{\frac {3}{2}} a^{3} d^{2} e^{8}}{96 \left (b e x +a e \right )^{5} b^{4}}+\frac {48145 \left (e x +d \right )^{\frac {3}{2}} a^{2} d^{3} e^{7}}{96 \left (b e x +a e \right )^{5} b^{3}}-\frac {48145 \left (e x +d \right )^{\frac {3}{2}} a \,d^{4} e^{6}}{192 \left (b e x +a e \right )^{5} b^{2}}+\frac {9629 \left (e x +d \right )^{\frac {3}{2}} d^{5} e^{5}}{192 \left (b e x +a e \right )^{5} b}-\frac {1253 \left (e x +d \right )^{\frac {5}{2}} a^{4} e^{9}}{15 \left (b e x +a e \right )^{5} b^{5}}+\frac {5012 \left (e x +d \right )^{\frac {5}{2}} a^{3} d \,e^{8}}{15 \left (b e x +a e \right )^{5} b^{4}}-\frac {2506 \left (e x +d \right )^{\frac {5}{2}} a^{2} d^{2} e^{7}}{5 \left (b e x +a e \right )^{5} b^{3}}+\frac {5012 \left (e x +d \right )^{\frac {5}{2}} a \,d^{3} e^{6}}{15 \left (b e x +a e \right )^{5} b^{2}}-\frac {1253 \left (e x +d \right )^{\frac {5}{2}} d^{4} e^{5}}{15 \left (b e x +a e \right )^{5} b}-\frac {12131 \left (e x +d \right )^{\frac {7}{2}} a^{3} e^{8}}{192 \left (b e x +a e \right )^{5} b^{4}}+\frac {12131 \left (e x +d \right )^{\frac {7}{2}} a^{2} d \,e^{7}}{64 \left (b e x +a e \right )^{5} b^{3}}-\frac {12131 \left (e x +d \right )^{\frac {7}{2}} a \,d^{2} e^{6}}{64 \left (b e x +a e \right )^{5} b^{2}}+\frac {12131 \left (e x +d \right )^{\frac {7}{2}} d^{3} e^{5}}{192 \left (b e x +a e \right )^{5} b}-\frac {2373 \left (e x +d \right )^{\frac {9}{2}} a^{2} e^{7}}{128 \left (b e x +a e \right )^{5} b^{3}}+\frac {2373 \left (e x +d \right )^{\frac {9}{2}} a d \,e^{6}}{64 \left (b e x +a e \right )^{5} b^{2}}-\frac {2373 \left (e x +d \right )^{\frac {9}{2}} d^{2} e^{5}}{128 \left (b e x +a e \right )^{5} b}+\frac {3003 a^{2} e^{7} \arctan \left (\frac {\sqrt {e x +d}\, b}{\sqrt {\left (a e -b d \right ) b}}\right )}{128 \sqrt {\left (a e -b d \right ) b}\, b^{7}}-\frac {3003 a d \,e^{6} \arctan \left (\frac {\sqrt {e x +d}\, b}{\sqrt {\left (a e -b d \right ) b}}\right )}{64 \sqrt {\left (a e -b d \right ) b}\, b^{6}}+\frac {3003 d^{2} e^{5} \arctan \left (\frac {\sqrt {e x +d}\, b}{\sqrt {\left (a e -b d \right ) b}}\right )}{128 \sqrt {\left (a e -b d \right ) b}\, b^{5}}-\frac {12 \sqrt {e x +d}\, a \,e^{6}}{b^{7}}+\frac {12 \sqrt {e x +d}\, d \,e^{5}}{b^{6}}+\frac {2 \left (e x +d \right )^{\frac {3}{2}} e^{5}}{3 b^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.81, size = 711, normalized size = 3.17 \begin {gather*} \frac {2\,e^5\,{\left (d+e\,x\right )}^{3/2}}{3\,b^6}-\frac {{\left (d+e\,x\right )}^{9/2}\,\left (\frac {2373\,a^2\,b^4\,e^7}{128}-\frac {2373\,a\,b^5\,d\,e^6}{64}+\frac {2373\,b^6\,d^2\,e^5}{128}\right )+{\left (d+e\,x\right )}^{7/2}\,\left (\frac {12131\,a^3\,b^3\,e^8}{192}-\frac {12131\,a^2\,b^4\,d\,e^7}{64}+\frac {12131\,a\,b^5\,d^2\,e^6}{64}-\frac {12131\,b^6\,d^3\,e^5}{192}\right )+\sqrt {d+e\,x}\,\left (\frac {1467\,a^6\,e^{11}}{128}-\frac {4401\,a^5\,b\,d\,e^{10}}{64}+\frac {22005\,a^4\,b^2\,d^2\,e^9}{128}-\frac {7335\,a^3\,b^3\,d^3\,e^8}{32}+\frac {22005\,a^2\,b^4\,d^4\,e^7}{128}-\frac {4401\,a\,b^5\,d^5\,e^6}{64}+\frac {1467\,b^6\,d^6\,e^5}{128}\right )+{\left (d+e\,x\right )}^{5/2}\,\left (\frac {1253\,a^4\,b^2\,e^9}{15}-\frac {5012\,a^3\,b^3\,d\,e^8}{15}+\frac {2506\,a^2\,b^4\,d^2\,e^7}{5}-\frac {5012\,a\,b^5\,d^3\,e^6}{15}+\frac {1253\,b^6\,d^4\,e^5}{15}\right )+{\left (d+e\,x\right )}^{3/2}\,\left (\frac {9629\,a^5\,b\,e^{10}}{192}-\frac {48145\,a^4\,b^2\,d\,e^9}{192}+\frac {48145\,a^3\,b^3\,d^2\,e^8}{96}-\frac {48145\,a^2\,b^4\,d^3\,e^7}{96}+\frac {48145\,a\,b^5\,d^4\,e^6}{192}-\frac {9629\,b^6\,d^5\,e^5}{192}\right )}{\left (d+e\,x\right )\,\left (5\,a^4\,b^8\,e^4-20\,a^3\,b^9\,d\,e^3+30\,a^2\,b^{10}\,d^2\,e^2-20\,a\,b^{11}\,d^3\,e+5\,b^{12}\,d^4\right )-{\left (d+e\,x\right )}^2\,\left (-10\,a^3\,b^9\,e^3+30\,a^2\,b^{10}\,d\,e^2-30\,a\,b^{11}\,d^2\,e+10\,b^{12}\,d^3\right )+b^{12}\,{\left (d+e\,x\right )}^5-\left (5\,b^{12}\,d-5\,a\,b^{11}\,e\right )\,{\left (d+e\,x\right )}^4-b^{12}\,d^5+{\left (d+e\,x\right )}^3\,\left (10\,a^2\,b^{10}\,e^2-20\,a\,b^{11}\,d\,e+10\,b^{12}\,d^2\right )+a^5\,b^7\,e^5-5\,a^4\,b^8\,d\,e^4-10\,a^2\,b^{10}\,d^3\,e^2+10\,a^3\,b^9\,d^2\,e^3+5\,a\,b^{11}\,d^4\,e}+\frac {2\,e^5\,\left (6\,b^6\,d-6\,a\,b^5\,e\right )\,\sqrt {d+e\,x}}{b^{12}}+\frac {3003\,e^5\,\mathrm {atan}\left (\frac {\sqrt {b}\,e^5\,{\left (a\,e-b\,d\right )}^{3/2}\,\sqrt {d+e\,x}}{a^2\,e^7-2\,a\,b\,d\,e^6+b^2\,d^2\,e^5}\right )\,{\left (a\,e-b\,d\right )}^{3/2}}{128\,b^{15/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________